$\vdash$  $\forall$$i$, $j$:$\mathbb{N}$. $i$+$j$ $\in$ $\mathbb{N}$